And/Or Hierarchies and Round Abstraction
نویسنده
چکیده
Sequential and parallel composition are the most fundamental operators for incremental construction of complex concurrent systems. They reflect the temporal and respectively the spatial properties of these systems. Hiding temporal detail like internal computation steps supports temporal scalability and may turn an asynchronous system to a synchronous one. Hiding spatial detail like internal variables supports spatial scalability and may turn a synchronous system to an asynchronous one. In this paper we show on hand of several examples that a language explicitly supporting both sequential and parallel composition operators is a natural setting for designing heterogeneous synchronous and asynchronous systems. The language we use is Shrm, a visual language that backs up the popular and/or hierarchies of statecharts with a well defined compositional semantics.
منابع مشابه
Abstraction Hierarchies for Conceptual Engineering Design
ion Hierarchies for Conceptual Engineering Design 47 Abstraction Hierarchies for Conceptual Engineering Designion Hierarchies for Conceptual Engineering Design
متن کاملPlanning with Abstraction Hierarchies Can Be Exponentially Less Eecient
It is well-known that state abstraction can speed up planning exponentially, under ideal conditions. We add to the knowledge|showing that state abstraction may likewise slow down planning exponentially, and even result in generating an exponentially longer solution than necessary. This phenomenon can occur for abstraction hierarchies which are generated automatically by the Alpine and Highpoint...
متن کاملBayesian Network Learning with Abstraction Hierarchies and Context-Specific Independence
Context-specific independence representations, such as treestructured CPTs, reduce the number of parameters in Bayesian networks by capturing local independence relationships. We previously presented Abstraction-Based Search (ABS), a technique for using attribute value hierarchies during Bayesian network learning to remove unimportant dis-ion-Based Search (ABS), a technique for using attribute ...
متن کاملJustiied Plans and Ordered Hierarchies
The use of abstraction in problem solving is an e ective approach to reducing search, but nding good abstractions is a di cult problem. The rst attempt to automatically generate a hierarchy of abstraction spaces was made by Sacerdoti in 1974. In 1990 Knoblock built the system ALPINE, which completely automates the formation of a hierarchy by abstracting preconditions of operators. To formalize ...
متن کاملUsing Concept Hierarchies in Knowledge Discovery
In Data Mining, one of the steps of the Knowledge Discovery in Databases (KDD) process, the use of concept hierarchies as a background knowledge allows to express the discovered knowledge in a higher abstraction level, more concise and usually in a more interesting format. However, data mining for high level concepts is more complex because the search space is generally too big. Some data minin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000